2

A higher-order unification algorithm for inductive types and dependent types

Year:
1997
Language:
english
File:
PDF, 626 KB
english, 1997
7

A Graph-based Approach of Automatic Keyphrase Extraction

Year:
2017
Language:
english
File:
PDF, 236 KB
english, 2017
11

Towards functional verifying a family of systemC TLMs

Year:
2019
Language:
english
File:
PDF, 778 KB
english, 2019
49

Contents

Year:
2007
Language:
english
File:
PDF, 30 KB
english, 2007